81. Energy minimization methods in computer vision and pattern recognition :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer vision, Congresses.,Pattern recognition systems, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer vision.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Image processing.,Mathematical theory of computation.,Maths for computer scientists.,Pattern recognition systems.,Pattern recognition.

رده :
TA1634
.
E44
2017eb

82. Evolving Knowledge Bases

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Logic programming.,Expert systems (Computer science),برنامه‌نویسی منطقی.,سیستم‌های خبره (کامپیوتر),a03,a04,a03,a04

رده :
E-Book
,

83. Evolving knowledge bases :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Expert systems (Computer science),Logic programming.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Expert systems (Computer science),Logic programming.

رده :
QA76
.
63
.
L48
2003eb

84. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Logic programming-- Congresses,، Prolog )Computer program language(-- Congresses

رده :
QA
76
.
63
.
I566
1995

85. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : Congresses ، Logic programming,Congresses ، Prolog )Computer program language(

رده :
QA
76
.
63
I566
1995

86. Expert Systems in Engineering Applications

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Computer science.,Engineering economy.

رده :
TA345
.
E358
1993

87. Exploring computer science with scheme

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer programming -- Problems, exercises, etc.,Computer programming.,Scheme (Computer program language)

رده :
QA76
.
O458
2011

88. Extensions of logic programming

پدیدآورنده :

کتابخانه: (کرمان)

موضوع : Logic programming -- Congresses

رده :
QA
76
.
73
.
E9
1993

89. Extensions of logic programming

پدیدآورنده :

کتابخانه: (کرمان)

موضوع : Logic programming -- Congresses

رده :
QA
76
.
73
.
E9
1993

90. Extensions of logic programming : International Workshop, Tubingen, FRG, December 8-10, 1989, Proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming

رده :
QA
76
.
L28
Vol
.
475

91. Extensions of logic programming : international workshop, Tubingen, FRG, December 8-10, 1989 : proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Logic programming-- Congresses

رده :
QA
76
.
63
.
E97
1991

92. Extensions of logic programming : second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991: proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming

رده :
QA
76
.
L28
Vol
.
596

93. Extensions of logic programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming

رده :
QA
76
.
L28
Vol
.
1050

94. Extensions of logic programming : 4th International Workshop, ELP'93 St Andrews, U.K., March 29-April 1, 1993 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming

رده :
QA
76
.
L28
Vol
.
798

95. Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Logic programming-- Congresses

رده :
QA
76
.
63
.
E47
1992

96. Extensions of logic programming : third international workshop, ELP'92, Bologna, Italy, February 26-28, 1992 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming

رده :
QA
76
.
L28
Vol
.
660

97. Formal modeling and analysis of timed systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.

رده :
QA76
.
9
.
F67

98. Foundations of Intelligent Systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Database management.,Information storage and retrieval systems.

99. Foundations of Knowledge Base Management :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Computer science.,Database management.

رده :
QA76
.
9
.
D3
E358
1989

100. Foundations of Logic Programming

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Computer science.

رده :
QA76
.
6
B956
1984